fpf(L)
== <remove-repeats(eq1;map(p.p.1;L))
== , x.reduce(p,l. if eqof(eq1)((p.1),x) then insert(p.2;l) else l fi ;[];L)
== > 

latex

---

clarification:

pairs-fpf(eq1;eq2;L)
== <remove-repeats(eq1;map(p.p.1;L))
== , x.reduce(p,l. if eqof(eq1)((p.1),x) then insert(eq2; (p.2); l) else l fi ;[];L)
== > 

latex

Definitions	remove-repeats(eq;L), map(f;as), reduce(f;k;as), if b then t else f fi , eqof(d), t.1, insert(a;L), t.2
FDL editor aliases	pairs-fpf